#include<bits/stdc++.h>
#define rg register
#define file(x)freopen(x".in","r",stdin);freopen(x".out","w",stdout)

using namespace std;

random_device rd;
mt19937_64 rnd(rd());

int main()
{
	int n=5000,Limit=6.5e4;
	cout<<n<<" "<<Limit<<endl;
	for(rg int i=1;i<=n;i+=1)cout<<i<<" ";cout<<endl;
	return 0;
}
